digraph M1 {
0 [label="0,?,?,?"]
1 [label="1,?,?,?"]
2 [label="2,?,2,?"]
3 [label="3,?,2,7"]
4 [label="4,5,2,7"]
5 [label="5,5,4,7"]
6 [label="6,4,4,7"]
7 [label="7,4,4,7"]
9 [label="9,4,4,0"]
10 [label="stop"]

0 -> 1 [label="    int x, y;"]
1 -> 2 [label="    x = 2;"]
2 -> 3 [label="    y = 7;"]
3 -> 4 [label="    h = 5;"]
4 -> 5 [label="    x = 4;"]
5 -> 6 [label="    h = b;"]
6 -> 7 [label="    h < y"]
7 -> 9 [label="    y = 0;"]
9 -> 10 [label="    ret"]
}